261. Test pattern generation using Boolean proof engines
پدیدآورنده : / by Rolf Drechsler ... [et al.]
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Integrated circuits--Verification,Computer software--Verification,Computer algorithms.,Algebra, Boolean.
رده :
TK
,
7874
.
58
,.
T47
,
2009
262. The Essentials of booiean algebra
پدیدآورنده : / Alan David Solomon
کتابخانه: Central Library of Campus 1 Technical University of Tehran (Tehran)
موضوع : Algebra, Boolean
رده :
QA
10
.
3
.
S64
263. The algebra of probable inference
پدیدآورنده : Cox, Richard Threlkeld
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Probabilities,، Algebra, Boolean,، Information theory
رده :
QA
273
.
C77
264. The algebra of probable inference
پدیدآورنده :
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Probabilities,Algebra, Boolean,Information theory
رده :
QA
273
.
C77
265. The algebra of probable inference
پدیدآورنده : Cox, Richard Threlkeld
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Probabilities,، Algebra, Boolean,، Information theory
رده :
QA
273
.
C77
266. The comparative method
پدیدآورنده : Charles C. Ragin,Title
کتابخانه: Library and Documentation Center of Institute of Culture, Arts and Communication (Tehran)
موضوع : Social sciences- Comparative method,Algebra, Boolean
رده :
H
.
R216
61
1987
267. The complete dimension theory of partially ordered systems with equivalence and orthogonality
پدیدآورنده : Goodearl, Kenneth Ralph, 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Lattice theory,، Boolean rings,، Partial algebras,، Modules )Algebra(
رده :
QA
3
.
A475
no
.
831
268. The complexity of Boolean functions
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Algebra, Boolean. ;
269. The complexity of Boolean functions
پدیدآورنده : / Ingo Wegener
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Algebra, Boolean,Computational complexity
رده :
QA10
.
3
.
W44
1987
270. The complexity of Boolean functions
پدیدآورنده : / Ingo Wegener
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Algebra, Boolean,Computational complexity
رده :
QA
10
.
3
.
W44
1987
271. The complexity of Boolean functions
پدیدآورنده : / Ingo Wegener
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Algebra, Boolean.,Computational complexity.
رده :
QA
,
10
.
3
,.
W44
,
1987
272. The complexity of Boolean functions
پدیدآورنده : / Ingo Wegener
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Algebra, Boolean,Computational complexity
رده :
E-BOOK
273. The complexity of Boolean networks
پدیدآورنده : Dunne, Paul E.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computational complexity,، Algebra, Boolean
رده :
QA
267
.
7
.
D85
1988
274. Two applications of logic to mathematics
پدیدآورنده : Takeuti, Gaisi, 6291-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
T26
1978
275. Two applications of logic to mathematics
پدیدآورنده : Takeuti, Gaisi
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
T26
276. simplified independence proofs; Boolean valued models of set theory
پدیدآورنده : / [by] J. Barkley Rosser,Rosser
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Independence(Mathematics),Algebra, Boolean,Set Theory -- Study and teaching
رده :
QA
266
.
R6
277. روش تطبیقی: فراسوی راهبردهای کمی و کیفی
پدیدآورنده : / چارلز ریگین,عنوان اصلی:The comparative method : moving beyond qualitative and quantitative strategies,1987,ریگین,Ragin
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : علوم اجتماعی,Social sciences,جبر بول,Algebra, Boolean, -- روشهای تطبیقی, -- Comparative method,a06,a06,a08,a08
رده :
H
۶۱
/
ر
۹۵
ر
۹ ۱۳۸۸
278. مقدمه ای بر روش تحقیق تطبیقی با جبر بولین
پدیدآورنده : تالیف دانیل کارمانی ؛ عباس معدن دارآرانی ... ]و دیگران[,ویراستار علمی لیدا کاکیا,کارامانی? دانیل
کتابخانه: Central Library and Document Center of Shahid Motahari of Razi University (Kermanshah)
موضوع : علوم اجتماعی -- روش های تطبیقی Social sciences -- Comparative method جبر بول Algebra, Boolean
رده :
H
61
/
ک
18
م
7
279. مقدمه ای بر روش تحقیق تطبیقی با جبر بولین
پدیدآورنده : تالیف: دانیل کارمانی ؛ عباس معدن دارآرانی ... ]و دیگران[,ویراستار علمی لیدا کاکیا,کارامانی Caramani. دانیل , Daniele
کتابخانه: Central Library and Document Center of Shahid Motahari of Razi University (Kermanshah)
موضوع : علوم اجتماعی -- روش های تطبیقی Social sciences -- Comparative method جبر بول Algebra, Boolean
رده :
H
61
/
ک
18
م
77
280. مقدمه‌ای بر روش تحقیق تطبیقی با جبر بولین
پدیدآورنده : / تالیف دانیل کارمانی، عباس معدن‌دارآرانی ... [و دیگران]، ویراستار علمی لیدا کاکیا,عنوان به زبان اصلی: Introduction to the comparative method with Boolean algebra, c2009.
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : علوم اجتماعی -- روشهای تطبیقی,Comparative method -- Social sciences,جبر بول,Algebra, Boolean
رده :
H
۶۱
/
ک
۲
م
۷
